[Mini-OS] Fix x86 initial stack alignment
authorKeir Fraser <keir.fraser@citrix.com>
Fri, 23 Nov 2007 16:22:13 +0000 (16:22 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Fri, 23 Nov 2007 16:22:13 +0000 (16:22 +0000)
commit8d71c3dfb8f23ff68a03e6640cc4a8c40d25ea99
tree6297d0de7047c4152d16f56c811f7c9028e5cc4c
parent255c12e851df35eded674926ee558484587ebff9
[Mini-OS] Fix x86 initial stack alignment

This fixes the initial stack alignment for x86, which is required for
current to return a fine NULL instead of a random value or possibly
crash during initialization.

Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
Signed-off-by: Samuel Thibault <samuel.thibault@citrix.com>
extras/mini-os/arch/x86/setup.c
extras/mini-os/arch/x86/x86_32.S
extras/mini-os/arch/x86/x86_64.S